Scalable Modelling in the PEPA Eclipse Plug-in

PEPA has a long history of software tool support. As we saw in the lecture note, the PEPA Eclipse Plug-in has been recently proposed as an implementation of the language which supports the whole model development process with a rich graphical interface. Lecture note 14 provided an overview of the main plug-in features such as static analysis and numerical solution of the underlying continuous-time Markov chain (CTMC). This lecture note is concerned with a recently added module which implements the some of the scalable analysis techniques discussed in lecture note 15. These scalable analysis techniques are based on the numerical vector form of state representation. As a running example we consider the following PEPA model, which is very similar to one presented in earlier notes: